$\forall$$A$, $B$:System. $A$ $\parallel$ $B$ $\Rightarrow$ $B$ $\subseteq$ $A$ $\oplus$ $B$